221. Mathematical foundations of computer science 1988: proceedings of the 13th symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Electronic data processing-- Mathematics
رده :
QA
76
.
9
.
M35
.
S95
1988
222. Mathematical logic and computability
پدیدآورنده : Keisler, H. Jerome.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
K45
1996
223. Mathematical logic for computer science
پدیدآورنده : Lu, Chung-wan.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic data processing - Mathematics , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
L8
1989
224. Mathematical logic for computer science
پدیدآورنده : Lu, Chung-wan
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
L8
1989
225. Mathematical software
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic data processing-- Mathematics-- Congresses,، Electronic data processing-- Numerical analysis-- Congressses
رده :
QA
1
.
M766
226. Mathematics & computing:with fortran programming
پدیدآورنده : DORN,WILLIAM S
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DATA PROCESSING-MATHEMATICS , FORTRAN )COMPUTER PROGRAM LANGUAGE(
رده :
QA
76
.
5
.
D67
227. Mathematics for computer programmers
پدیدآورنده : Kay, Christine Benedyk
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics ، Electronic data processing,Programming ، Electronic digital computer
رده :
QA
76
.
9
.
M35
K38
1984
228. Mathematics for computers
پدیدآورنده : Kramer, Arthur D.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic data processing - Mathematics
رده :
QA
76
.
9
.
M35
K73
229. Mathematics for computers
پدیدآورنده : Arthur D. Kramer
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Electronic data processing- Mathematics
رده :
QA
،
76
.
9
،.
M35
,
K73
،
1986
230. Mathematics for data processing and computing
پدیدآورنده : Kolatis, Maria shopay
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Electronic data processing-Mathematics
رده :
QA
76
.
9
.
M35
K63
1985
231. Metaheuristics for Hard Optimization
پدیدآورنده : by Johann Dréo, Patrick Siarry, Alain Pétrowski, Eric Taillard.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electronic data processing.,Engineering economy.,Engineering mathematics.,Mathematical optimization.,Operations research.,Structural control (Engineering)
232. Modal Interval Analysi
پدیدآورنده : / by Miguel A. Sainz, Joaquim Armengol, Remei Calm, Pau Herrero, Lambert Jorba, Josep Vehi
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Electronic data processing,Global analysis (Mathematics),Electronic books
رده :
E-BOOK
233. Multiset processing : mathematical, computer science, and molecular computing points of view
پدیدآورنده : Cristian S. Calude...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Electronic data processing,Congresses ، Computer science -- Mathematics,Congresses ، Molecular computers
رده :
QA
76
.
L28
Vol
.
2235
234. Multiset processing: mathematical, computer science, and molecular computing points of view
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Electronic data processing,Congresses ، Computer science-- Mathematics,Congresses ، Molecular computers
رده :
QA
76
.
5
.
M85
2001
235. Near-Rings and Near-Fields
پدیدآورنده : edited by Yuen Fong, Carl Maxson, John Meldrum, Günter Pilz, Andries Walt, Leon Wyk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Computational complexity.,Electronic data processing.,Field theory (Physics).,Mathematics.
236. Nonlinear Optimization and Related Topics
پدیدآورنده : edited by Gianni Di Pillo, Franco Giannessi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electronic data processing.,Information theory.,Mathematical optimization.,Mathematics.,Operations research.
237. Numerical Analysis
پدیدآورنده : by Roger Temam.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science -- Mathematics.,Electronic data processing.,Mathematics.
238. Numerical Data Fitting in Dynamical Systems
پدیدآورنده : by Klaus Schittkowski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Mathematical optimization.,Mathematics.,Statistics.
239. Numerical Integration of Stochastic Differential Equations
پدیدآورنده : by G. N. Milstein.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Distribution (Probability theory).,Electronic data processing.,Mathematics.
240. Numerical methods for computer science, engineering and mathematics
پدیدآورنده : Mathews, John H
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Numerical analysis , Electronic data processing - Mathematics , Engineering mathematics
رده :
QA
297
.
M39
